Monadic Deep Learning